textview: Remove {top,bottom,left,right}_border
authorTimm Bäder <mail@baedert.org>
Tue, 31 Oct 2017 07:09:55 +0000 (08:09 +0100)
committerTimm Bäder <mail@baedert.org>
Tue, 31 Oct 2017 09:10:53 +0000 (10:10 +0100)
commit3dca25b6e43a112ea0a417a6382805d7c26a5cc3
tree556a00feb3a91e5e66cc6996878dd4123f55cca1
parent3c0657f0fd861af5b98e09d8a05c6a96f46a04e7
textview: Remove {top,bottom,left,right}_border

These are now the same as the equivalent _margin values.
gtk/gtktextview.c